Metamath Blueprint : Triangle Congruences


Theorem tgexta

ReadyForStmt
Theorem 11.41 of [Schwabhauser] p. 104.
https://en.wikipedia.org/wiki/Exterior_angle_theorem

The exterior angle theorem

The exterior angle theorem is Proposition 1.16 in Euclid's Elements, which states that the measure of an exterior angle of a triangle is greater than either of the measures of the remote interior angles.